1. Foundations; essay in philosophy, logic, mathematics and economics
پدیدآورنده : / F. P. Ramsey,Ramsey
کتابخانه: كتابخانه مركزی آستان قدس رضوی (ع) - تالار كتابهای خارجی (خراسان رضوی)
موضوع : Logic, Symbolic and mathematical -- Addresses, essays, lectures
رده :
511
.
308
R181F
2. From Frege to Godel; a source book in mathematical logic, 1879-1931
پدیدآورنده : Van Heijenoort, Jean
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Symbolic and mathematical-- Addresses, essays, lectures,، Mathematics-- Philosophy-- Addresses, essays, lectures
رده :
QA
9
.
V3
3. From Frege to Godel; a source book in mathematical logic, 1879-1931
پدیدآورنده : Van Heijenoort, Jean, 2191-6891
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Logic, Symbolic and mathematical,Addresses, essays, lectures ، Mathematics -- Philosophy
رده :
QA
9
.
V34
4. Logic and knowledge ; essays, 1901-1950
پدیدآورنده : / Edited by Robert Charles Marsh
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Philosophy - Addresses, essays, lectures,Logic, Symbolic and mathematical - Addresses, essays, lectures
رده :
B1649
.
R93L6
5. Logic and knowledge; essays, 1901-1950
پدیدآورنده : / Edited by Robert Charles Marsh
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Philosophy - Addresses, essays, lectures,Logic, Symbolic and mathematical - Addresses, essays, lectures
رده :
192
Ru-L
6. Logic colloguium 69; proceedings of the summer school and colloquium in mathematical logic, Manchester, Auqust, 1969
پدیدآورنده : / edited by R. O. Gandy, C. M. E. Yates
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Logic, symbolic and mathematical - Addresses, essays, lectures
رده :
511
.
3
L832
7. Logic of programs : Workshop, ETH Zurich, May-July 1979
پدیدآورنده : edited by Erwin Engeler
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Computer programs,Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
125
8. Logical investigations
پدیدآورنده : Frege, Gottlob, 8481-5291
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
B
3245
.
F23L63
9. Mathematical logic, the theory of algorithms and the theory of sets : dedicated to Academician Petr sergeevic Novikov on his seventieth birthday
پدیدآورنده : edited by S. I. Adjan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Logic, Symbolic and mathematical,Addresses, essays, lectures ، Algorithms,Addresses, essays, lectures ، Set theory
رده :
QA
1
.
P736
Vol
.
133
10. Papers in philosophical logic
پدیدآورنده : Lewis, David K.
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع : Addresses, essays, lectures ، Logic, Symbolic and mathematical.
رده :
BC
135
.
L4P3
11. Proceedings
پدیدآورنده : Tarski Symposium, 1791, University of California, Berkeley
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Mathematics-- Addresses, essays, lectures,، Logic, Symbolic and mathematical-- Addresses, essays, lectures,، Tarski, Alfred-- Bibliography
رده :
QA
7
.
T34
1971
12. Proceedings of the Summer School in Logic, Leeds, 1967; N.A.T.O.
پدیدآورنده : Summer School in Logic, Leeds, Eng
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
70
13. Selected works
پدیدآورنده : Lukasiewicz, Jan
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Addresses, Essays, lectures ، Logic, Symbolic and mathematical
رده :
BC
135
.
L825
14. Studies in foundations and combinations
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Addresses, essays, lectrures ، Combinatorial analysis,Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
QA
164
.
S85
15. The Calculi of symbolic logic, 1
پدیدآورنده : edited by V. P. Orevkov
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
QA
1
.
P736
Vol
.
98
16. The Calculi of symbolic logic, 1
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Symbolic and mathematical-- Addresses, essays, lectures
رده :
QA
1
.
A413
no
.
98
1968
17. Translations from the philosophical writings of Gottlob Frege
پدیدآورنده : Frege, Gottlob, 8481-5291
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Logic, Symbolic and mathematical,Addresses, essays, lectures ، Mathematics -- Philosophy
رده :
BC
135
.
F73T7
1980
18. Twelve papers in logic and algebra
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Symbolic and mathematical-- Addresses, essays, lectures,، Algebra-- Addresses, essays, lectures
رده :
QA
3
.
A572
ser
.
2
vol
.
113
19. تقابل منطق قدیم وجدید
پدیدآورنده : / هنری ویچ,ویچ,Veatch
کتابخانه: كتابخانه جامع جامعة المصطفی (ص) العالمية (قم)
موضوع : منطق,Logic,منطق ریاضی,Logic, Symbolic and mathematical, -- مقاله‌ها و خطابه‌ها, -- Addresses, essays, lectures, -- مقاله‌ها و خطابه‌ها, -- Addresses, essays, lectures,a02,a02,a05,a05
رده :
BC
۷۸
/
م
۹
و
۹ ۱۳۹۸
